(set-logic ALL)
(set-info :status unsat)
(set-option :fp-exp true)
(declare-const x (_ FloatingPoint 15 113))
(define-fun _s0 () (Array (_ FloatingPoint 15 113) (_ FloatingPoint 15 113)) (store (store ((as const (Array (_ FloatingPoint 15 113) (_ FloatingPoint 15 113))) (fp #b1 #b000000000000000 #b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (fp #b0 #b111111111111111 #b1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (fp #b0 #b000000000000011 #b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (fp #b0 #b000000000000000 #b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (fp #b1       #b111111111111110 #b1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(assert (= (select _s0 x) (fp #b0 #b000000000000000 #b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(check-sat)
(exit)
